翻訳と辞書 Words near each other ・ Proutiella vittula ・ Proutoscia ・ Prouts Neck ・ Prouty ・ Prouty Glacier ・ Prouty Place State Park ・ Prouvais ・ Prouville ・ Prouvy ・ Proux ・ Prouzel ・ Prov Sadovsky ・ Prova ・ Prova (album) ・ Prova Ciclística 9 de Julho ・ Provability logic ・ Provable ・ Provable prime ・ Provable security ・ Provably fair ・ Provaci ancora prof ・ Provadia ・ Provadiya Hook ・ Provadiya Municipality ・ Provadiya River ・ Provaglio d'Iseo ・ Provaglio Val Sabbia ・ Provalis Research ・ Provaljenik ・ Provalljapyx Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Provability logic ： ウィキペディア英語版 Provability logic Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. ==Examples== There are a number of provability logics, some of which are covered in the literature mentioned in the References section. The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W. It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4). Namely, the axioms of GL are all tautologies of classical propositional logic plus all formulas of one of the following forms: * Distribution Axiom: * Löb's Axiom: And the rules of inference are: * Modus Ponens: From ''p'' → ''q'' and ''p'' conclude ''q''; * Necessitation: From ''p'' conclude . 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Provability logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.